Descubriendo nuevos teoremas a través de LLMs con aprendizaje de pruebas en contexto en Lean
Descubre cómo los LLMs y el aprendizaje en contexto permiten demostrar nuevos teoremas en Lean. Una innovadora fusión de IA y demostración formal.
#nuevos teoremas